Inverse limit Totally Explained

Everything about Inverse Limit totally explained

In mathematics, the inverse limit (also called the projective limit) is a construction which allows one to "glue together" several related objects, the precise manner of the gluing process being specified by morphisms between the objects. Inverse limits can be defined in any category.

Formal definition

Algebraic objects

We start with the definition of an inverse (or projective) system of groups and homomorphisms. Let (I, ≤) be a directed poset (not all authors require I to be directed). Let (A_i)_i∈I be a family of groups and suppose we've a family of homomorphisms f_ij: A_j → A_i for all i ≤ j (note the order) with the following properties:

f_ii is the identity in A_i,
f_ik = f_ij o f_jk for all i ≤ j ≤ k. Then the set of pairs (A_i, f_ij) is called an inverse system of groups and morphisms over I.

We define the inverse limit of the inverse system (A_i, f_ij) as a particular subgroup of the direct product of the A_i's: ť

varprojlim A_i = Big.

The inverse limit, A, comes equipped with natural projections π_i: A → A_i which pick out the ith component of the direct product. The inverse limit and the natural projections satisfy a universal property described in the next section.
This same construction may be carried out if the A_i's are sets, rings, modules (over a fixed ring), algebras (over a fixed field), etc., and the homomorphisms are homomorphisms in the corresponding category. The inverse limit will also belong to that category.

General definition

The inverse limit can be defined abstractly in an arbitrary category by means of a universal property. Let (X_i, f_ij) be an inverse system of objects and morphisms in a category C (same definition as above). The inverse limit of this system is an object X in C together with morphisms π_i: X → X_i (called projections) satisfying π_i = f_ij o π_j. The pair (X, π_i) must be universal in the sense that for any other such pair (Y, ψ_i) there exists a unique morphism u: Y → X making all the "obvious" identities true; for example, the diagram

must commute for all i, j. The inverse limit is often denoted ť

X = varprojlim X_i

with the inverse system (X_i, f_ij) being understood.
Unlike for algebraic objects, the inverse limit might not exist in an arbitrary category. If it does, however, it's unique in a strong sense: given any other inverse limit X′ there exists a unique isomorphism X′ → X commuting with the projection maps.
We note that an inverse system in a category C admits an alternative description in terms of functors. Any partially ordered set I can be considered as a small category where the morphisms consist of arrows i → j iff i ≤ j. An inverse system is then just a contravariant functor I → C.

Examples

The ring of p-adic integers is the inverse limit of the rings Z/pⁿZ (see modular arithmetic) with the index set being the natural numbers with the usual order, and the morphisms being "take remainder". The natural topology on the p-adic integers is the same as the one described here.

Pro-finite groups are defined as inverse limits of (discrete) finite groups.

Let the index set I of an inverse system (X_i, f_ij) have a greatest element m. Then the natural projection π_m: X → X_m is an isomorphism.

Inverse limits in the category of topological spaces are given by placing the initial topology on the underlying set-theoretic inverse limit. This is known as the limit topology.

The set of infinite strings is the inverse limit of the set of finite strings, and is thus endowed with the limit topology. As the original spaces are discrete, the limit space is totally disconnected. This is one way of realizing the p-adic numbers and the Cantor set (as infinite strings).

Let (I, =) be the trivial order (not directed). The inverse limit of any corresponding inverse system is just the product.

Let I consist of three elements i, j, and k with i ≤ j and i ≤ k (not directed). The inverse limit of any corresponding inverse system is the pullback.

Related concepts and generalizations

The categorical dual of an inverse limit is a direct limit (or inductive limit). More general concepts are the limits and colimits of category theory. The terminology is somewhat confusing: inverse limits are limits, while direct limits are colimits.

Further Information

Get more info on 'Inverse Limit'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://inverse_limit.totallyexplained.com">Inverse limit Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.